The Consistency of ZFC + 2 ℵ0> ℵω + I(ℵ2) = I(ℵω)
نویسنده
چکیده
The 1 basic notion that will be studied in this work is than of an identity. It arises naturally in a Ramsey theory setting when considering the coloring patters on finite sets that occur when coloring infinite complete graphs with infinitely many colors. We first give some definitions and establish some notation. An ω-coloring is a pair 〈f, B〉 where f : [B] −→ ω. The set B is the field of f and denoted Fld(f).
منابع مشابه
Cohen Sets and Consistent Extensions of the Erdös - Dushnik - Miller
We present two different types of models where, for certain singular cardinals λ of uncountable cofinality, λ → (λ, ω + 1) 2 , although λ is not a strong limit cardinal. We announce, here, and will present in a subsequent paper, [7], that, for example, consistently, ℵω 1 → (ℵω 1 , ω + 1) 2 and consistently, 2 ℵ 0 → (2 ℵ 0 , ω + 1) 2. §0. INTRODUCTION. For regular uncountable κ, the Erdös-Dushni...
متن کاملMad Families and Sane Player Sh935
We throw some light on the question: is there a MAD family (= a maximal family of infinite subsets of N, the intersection of any two is finite) which is saturated (= completely separable i.e. any X ⊆ N is included in a finite union of members of the family or includes a member (and even continuum many members) of the family). We prove that it is hard to prove the consistency of the negation: (a...
متن کاملThe Relative Consistency Of
We prove the consistency result from the title. By forcing we construct a model of g = ℵ1, b = cf(Sym(ω)) = ℵ2. We recall the definitions of the three cardinal characteristics in the title and the abstract. We write A ⊆ * B if A \ B is finite. We write f ≤ * g if f, g ∈ ω ω and {n : f (n) > g(n)} is finite. Definition 0.1. (1) A subset G of [ω] ω is called groupwise dense if – for all B ∈ G, A ...
متن کاملThe tree property at ℵω+1
We show that given ω many supercompact cardinals, there is a generic extension in which there are no Aronszajn trees at אω+1. This is an improvement of the large cardinal assumptions. The previous hypothesis was a huge cardinal and ω many supercompact cardinals above it, in Magidor-Shelah [7].
متن کاملSmall Universal families of graphs on ℵω+ 1
We prove that it is consistent that אω is strong limit, 2אω is large and the universality number for graphs on אω+1 is small. The proof uses Prikry forcing with interleaved collapsing.
متن کامل